References

Abelson et al.1985
Harold Abelson, Gerald Jay Sussman, and Julie Sussman.
Structure and Interpretation of Computer Programs.
MIT Press, Cambridge, Massachusetts, 1985.

Brachman and Schmolze1985
Ronald J. Brachman and James G. Schmolze.
An overview of the KL-ONE knowledge representation system.
Cognitive Science, 9(2):171–216, April–June 1985.

Cheeseman1985
Peter Cheeseman.
In defense of probability.
In Proceedings of the Ninth International Joint Conference on Artificial Intelligence, pages 1002–1009, Los Angeles, California, August 1985. International Joint Committee on Artificial Intelligence.

Haugeland1981
John Haugeland, editor.
Mind Design.
Bradford Books, Montgomery, Vermont, 1981.

Lenat1981
Douglas B. Lenat.
The nature of heuristics.
Technical Report CIS-12 (SSL-81-1), Xerox Palo Alto Research Centers, April 1981.

Levesque1984a
Hector J. Levesque.
Foundations of a functional approach to knowledge representation.
Artificial Intelligence, 23(2):155–212, July 1984.

Levesque1984b
Hector J. Levesque.
A logic of implicit and explicit belief.
In Proceedings of the Fourth National Conference on Artificial Intelligence, pages 198–202, Austin, Texas, August 1984. American Association for Artificial Intelligence.